|
In mathematics, the Hodge star operator or Hodge dual is an important linear map introduced in general by W. V. D. Hodge. It is defined on the exterior algebra of a finite-dimensional oriented inner product space. ==Dimensionalities and algebra== Suppose that is the dimensionality of the oriented inner product space and is an integer such that , then the Hodge star operator establishes a one-to-one mapping from the space of to the space of -vectors. The image of a -vector under this mapping is called the ''Hodge dual'' of the -vector. The former space, of -vectors, has dimensionality : while the latter has dimensionality : and by the symmetry of the binomial coefficients, these two dimensionalities are equal. Two vector spaces over the same field with the same dimensionality are always isomorphic; but not necessarily in a natural or canonical way. The Hodge duality, however, in this case exploits the inner product and orientation of the vector space. It singles out a unique isomorphism, that reflects therefore the pattern of the binomial coefficients in algebra. This in turn induces an inner product on the space of -vectors. The 'natural' definition means that this duality relationship can play a geometrical role in theories. The first interesting case is on three-dimensional Euclidean space . In this context the relevant row of Pascal's triangle reads : and the Hodge dual sets up an isomorphism between the two three-dimensional spaces, which are itself and the space of wedge products of two vectors from . See the Examples section for details. In this case the content is just that of the cross product of traditional vector calculus. While the properties of the cross product are special to three dimensions, the Hodge dual applies to all dimensionalities. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Hodge dual」の詳細全文を読む スポンサード リンク
|